1. A Process Algebraic Approach to Software Architecture Design
پدیدآورنده : / Alessandro Aldini, Marco Bernardo, Flavio Corradini
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
![](/design/images/bookmore.png)
2. A process algebraic approach to software architecture design
پدیدآورنده : Aldini, Alessandro.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Software architecture,، Software engineering,، Electronic books
رده :
QA
76
.
754
.
A43
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. 26, 2010, Advanced Lectures-Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21
پدیدآورنده : / Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
![](/design/images/bookmore.png)
4. Centric Networking-User
پدیدآورنده : / Alessandro Aldini, Alessandro Bogliolo
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
![](/design/images/bookmore.png)
5. Computer Performance Engineering
پدیدآورنده : / Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
![](/design/images/bookmore.png)
6. Computer performance engineering
پدیدآورنده : / Alessandro Aldini ... [et al.] (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Formal methods (Computer science), Congresses,Stochastic models, Congresses,Computer systems, Evaluation, Congresses
رده :
QA76
.
9
.
E94E64
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
پدیدآورنده : / , Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj SuriکJoancomart-Alfaro, Jordi Herrera-Joaquin Garcia
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
![](/design/images/bookmore.png)
8. Formal Methods for Quantitative Aspects of Programming Languages
پدیدآورنده : / Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
![](/design/images/bookmore.png)
9. Foundations of Security Analysis and Design VI
پدیدآورنده : / Alessandro Aldini, Roberto Gorrieri
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
![](/design/images/bookmore.png)
10. Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures
پدیدآورنده : / Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
![](/design/images/bookmore.png)
11. Foundations of Security Analysis and Design VII
پدیدآورنده : / Alessandro Aldini, Javier Lopez, Fabio Martinelli
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
![](/design/images/bookmore.png)